/*
	system_error.h

	contains headers for system error functions
*/

#ifndef SYSTEM_ERROR_H_INCLUDED
#define SYSTEM_ERROR_H_INCLUDED

#include"types.h"
#include"kernel_tables.h"
#include"scheduler_functions.h"
#include"CPU_exception.h"

void KERNEL_ERROR(const char *module, const char *function, const char *message);
void KERNEL_EXCEPTION(struct REGISTER_STATE *regs);


#endif
